Hexadecimal floating-point literal